1. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
2. Introduction to automata theory, languages, and computation
پدیدآورنده : / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : نظریه ماشین,زبانهای صوری,پیچیدگی محاسباتی
رده :
QA
۲۶۷
/
ه
۲
ال
ف
۹ ۱۳۸۰
3. مباني نظريه محاسبات
پدیدآورنده : / تاليف هري لويس، کريستوز پاپاديميترو,عنوان اصلي: Elements of the theory of compution, 2ed. ,c1998,لوئيس,Lewis
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع : نظريه ماشين,منطق رياضي,پيچيدگي محاسباتي
رده :
۵۱۱
/
۳
ل
۸۲۳
م
4. مبانی نظریه محاسبات
پدیدآورنده : / تالیف هری لویس ، کریستوز پاپا دیمیترو,عنوان‌اصلی: Elements of the theory of computation.c 1998
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی
رده :
QA
۲۹۷
/
ل
۹
م
۲ ۱۳۸۵
5. #مبانی نظریه محاسبات نظریه زبان ها و ماشین ها
پدیدآورنده : #لویس، هری
موضوع : نظریه ماشین ،پیچیدگی محاسباتی
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. مباني نظريه محاسبات (نظريه زبانها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. مبانی نظریه محاسبات (نظریه زبانها و ماشینها)
پدیدآورنده : لوئیس، هری
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : زبانهای صوری,نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
8. مبانی نظریه محاسبات ( نظریه زبان‌هاو ماشینها)
پدیدآورنده : / تالیف هری لویس، کریستوز پاپادیمیترو,Elements of the theory of compution, 2nd.ed ,c1998.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,aمنطق جدید
رده :
۵۱۱
/
۳
ل
۸۲۳
م
۲
ریو
9. معرفی بازگشتی نظریه محاسبات
پدیدآورنده : اسمیت Smith. کارل , Karl
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : نظریه ماشین پیچیدگی محاسباتی
رده :
QA
267
/
الف
5
م
6
10. مقدمه ای بر نظریه محاسبات
پدیدآورنده : سیپسر، مایکل
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
۲۶۷
/
س
۹
م
۷ ۱۳۹۳
11. مقدمه ای بر نظریه محاسبات
پدیدآورنده : سیپسر، مایکل Sipser, Michael
کتابخانه: كتابخانه الغدير یزد (مؤسسه فرهنگی تحقيقاتی اخوان دستمالچی) (یزد)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
۲۶۷
/
س
۹
م
۷ ۱۳۸۵
12. مقدمه ای بر نظریه محاسبات
پدیدآورنده : نویسنده مایکل سیپسر؛ مترجم محمدحسن شیرعلی شهرضا
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : نظریه ماشین , پیچیدگی محاسباتی
رده :
QA
267
/
س
889
13. مقدمه ای بر نظریه محاسبات
پدیدآورنده : / مولف مایکل سیپسر,عنوان به زبان اصلی: Introduction to the theory of computaion, 3rd, c2013.
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
۲۶۷
س
۹
م
۷ ۱۳۹۳
14. مقدمه ای بر نظریه محاسبات
پدیدآورنده : مولف مایکل سیپسر,سیپسر? مایکل
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : نظریه ماشین پیچیدگی محاسباتی
رده :
QA
267
/
س
9
م
7
15. مقدمه ای بر نظریه محاسبات
پدیدآورنده : سیپسر، مایکل
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : 1.نظریه ماشین 2. پیچیدگی محاسباتی
رده :
QA
267
/
س
9
م
7
1385
16. مقدمه ای بر نظریه محاسبات
پدیدآورنده : سیپسر، مایکل Sipser, Michael
موضوع : نظریه ماشین,پیچیدگی محاسباتی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. مقدمه ای بر نظریه محاسبات
پدیدآورنده : سیپسر، مایکل Sipser, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
۲۶۷
/
س
۹
م
۷ ۱۳۹۹
18. مقدمه ای بر نظریه محاسبات
پدیدآورنده : / مولف مایکل سیپسر,عنوان به زبان اصلی: Introduction to the theory of computaion, 3rd, c2010.
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
۲۶۷
س
۹
م
۷۷ ۱۳۹۲
19. مقدمه ای بر نظریه محاسبات
پدیدآورنده : سیپسر، مایکل Sipser, Michael
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
۲۶۷
/
س
۹
م
۷ ۱۳۸۵
20. مقدمه‌ای بر نظریه محاسبات
پدیدآورنده : نویسنده مایکل سیپسر
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : نظریه ماشین,پیچیدگی محاسباتی
رده :
QA
،۲۶۷،
/
س
۹
م
۷،۱۳۸۵
